Laparoscopic splenectomy and pericardial devascularization